Natural language programming - PDFSEARCH.IO - Document Search Engine

Natural language programming
Results: 221

#	Item
101	HOL Formalised: Deductive System R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:58:39 Logic in computer science Formal methods Theoretical computer science Algorithms Hindley–Milner Type theory HOL ALGOL 68 Natural deduction Logic Mathematics Programming language theory
102	Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-09-04 21:01:39 Mathematics Programming language theory Object-oriented programming Polymorphism Subtype polymorphism Type system Structure Model theory Natural deduction Data types Type theory Software engineering
103	Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions∗ Chita Baral and Juraj Dzifcak Tran Cao Son Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2008-11-11 15:26:22 Predicate logic Formal languages Philosophical logic Lambda calculus Combinatory logic First-order logic Categorial grammar Function Quantification Logic Mathematical logic Mathematics
104	194 Department of Computer and Information Science, Linköping University[removed]Generation of Efficient Compilers and Interpreters from Natural Semantics Specifications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2003-05-18 19:21:52 Computing Programming language semantics Formal methods Denotational semantics Operational semantics Semantics of programming languages Programming language Prolog Compiler-compiler Theoretical computer science Software engineering Logic in computer science
105	IRAMT1, IRAMT2, IRAMT3, IRAMT4 Add to Reading List Source URL: www.swinburne.edu.au Language: English - Date: 2014-09-25 00:46:32 Programming language theory Risk management Emergency management Natural hazards Project management Risk NIL ALGOL 68 Management Actuarial science Software engineering
106	Code Completion with Statistical Language Models Veselin Raychev Martin Vechev Eran Yahav Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-04-06 14:05:41 Science Computational linguistics Natural language processing N-gram Language model Statistical machine translation Data model Application programming interface Object-oriented programming Statistical natural language processing Programming paradigms Linguistics
107	Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-08-21 04:01:56 Science Statistical machine translation Parsing BLEU Formal grammar Programming language Bitext word alignment Compiler Philipp Koehn Machine translation Natural language processing Translation
108	Semi-Automatic Semantic Annotations for Web Documents Nadzeya Kiyavitskaya1, Nicola Zeni1 , James R. Cordy2 , Luisa Mich1 and John Mylopoulos3 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2005-11-29 08:01:28 Natural language processing Computing Annotation Reference Writing Semantic Web TXL Markup language Programming language Science Software Computational linguistics
109	Dependency Parsing for Weibo: An Efficient Probabilistic Logic Programming Approach William Yang Wang, Lingpeng Kong, Kathryn Mazaitis, William W. Cohen Language Technologies Institute & Machine Learning Department Carne Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-27 11:03:52 Information science Treebank Parsing Dependency grammar Natural language processing Parse tree Association for Computational Linguistics Statistical parsing Search engine indexing Linguistics Computational linguistics Science
110	Natural Language Models for Predicting Programming Comments Dana Movshovitz-Attias Computer Science Department Carnegie Mellon University [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-06-03 15:38:52 Software engineering Natural language processing Computational linguistics Latent Dirichlet allocation Markov models N-gram Topic model Language model Lexical analysis Computing Computer programming Statistical natural language processing

UPDATE